//// [unicodeExtendedEscapesInRegularExpressions15_ES6.ts]
var x = /\u{abcd}\u{ef12}\u{3456}\u{7890}/g;


//// [unicodeExtendedEscapesInRegularExpressions15_ES6.js]
var x = /\u{abcd}\u{ef12}\u{3456}\u{7890}/g;
